Wyniki
-
On a Homomorphism Property of Hoops
Robert Veroff, Matthew Spinks
Bulletin of the Section of Logic , 33 /3 (2004) s. 135-142 -
Slaney's Logic F** is Constructive Logic with Strong Negation
M. Spinks, R. Veroff
Bulletin of the Section of Logic , 39 /3-4 (2010) s. 161-174 -
Sentential constants in relevant implication
Robert K. Meyer
Bulletin of the Section of Logic , 9 /1 (1980) s. 33-38 -
Relevant arithmetic
Robert K. Meyer
Bulletin of the Section of Logic , 5 /4 (1976) s. 133-135 -
Ackermann, Takeuti, und schnitt: γ for higher-order relevant logics
Robert K. Meyer
Bulletin of the Section of Logic , 5 /4 (1976) s. 138-142 -
Current research in relevant logic
Robert K. Meyer
Bulletin of the Section of Logic , 6 /3 (1977) -
Rationalizing relevant primitives, of course!
Robert K. Meyer
Bulletin of the Section of Logic , 24 /2 (1995) s. 76-79 -
Peirced Clean Through
Robert K. Meyer
Bulletin of the Section of Logic , 19 /3 (1990) s. 100-101 -
On a relationship between some classes of elimination operators and some classes
Grzegorz Bryll, Robert Sochacki
Bulletin of the Section of Logic , 29 /4 (2000) s. 161-170 -
R+ is contained in T+
Robert K. Meyer, Steve Giambrone
Bulletin of the Section of Logic , 9 /1 (1980) s. 30-32 -
A mechanized decision procedure for non-classical logics: The program KRIPKE
Michael A. McRobbie, Paul B. Thistlewaite, Robert K. Meyer
Bulletin of the Section of Logic , 9 /4 (1980) s. 189-192